<?php
  $x = 42;
